Search Results
Lamport TLA+ Course Lecture 8: Paxos Commit Part 2: How it Works (HD)
Lamport TLA+ Course Lecture 8: Paxos Commit Part 1: Preliminaries (HD)
Lamport TLA+ Course Lecture 7: Paxos Commit (HD)
Lamport TLA+ Course Lecture 10: Implementation with Refinement Part 2: Refinement Mappings (HD)
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 2.
Lamport TLA+ Course Lecture 4: Die Hard (HD)
Lamport TLA+ Course Lecture 5: Transaction Commit (HD)
Lamport TLA+ Course Lecture 9: The Alternating Bit Protocol Part 1: The High Level Spec (HD)
Dr. TLA+ Series- Paxos
9 1 Paxos: Abortable consensus
Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1.
Lamport TLA+ Course Lecture 10: Implementation with Refinement Part 1: Preliminaries (HD)
